Scheduling in Green Vehicular Infrastructure with Multiple Roadside Units Amir Khezrian, Abdulla Hammad and Terence D. Todd George Karakostas

Source URL: www.cas.mcmaster.ca

• Wireless networking
• Network flow
• Operations research
• Vehicular ad hoc network
• Minimum-cost flow problem
• Wireless ad hoc network
• Intelligent transportation system
• Maximum flow problem
• Integer programming

Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram

Source URL: www.cs.utah.edu

• Software engineering
• Computing
• Computer programming
• C
• Data types
• Undefined behavior
• Integer overflow
• Printf format string
• Objective-C
• C99
• Floating point
• Arithmetic overflow

Global Inference Using Integer Linear Programming Wen-tau Yih August 15, 2004 1

Source URL: l2r.cs.illinois.edu

Applied Mathematics and Computation±124 www.elsevier.nl/locate/amc On the approximation of real rational functions via mixed-integer linear programming

Source URL: www.papamarkos.gr

Mixed-Integer Nonlinear Programming Models for the Optimal Design of Multi-product Batch Plant Fengqi You* and Ignacio E. Grossmann**, Department of Chemical Engineering, Carnegie Mellon University, Pittsburgh, PA 15213

Source URL: minlp.org

I Control Your Code Attack Vectors through the Eyes of Software-based Fault Isolation Mathias Payer () Department of Computer Science, ETH Zurich Abstract

Source URL: hexhive.github.io

• Computing
• Software bugs
• Software engineering
• Computer programming
• Buffer overflow
• Stack buffer overflow
• Stack
• Uncontrolled format string
• C dynamic memory allocation
• C standard library
• Pointer
• Integer overflow

Mixed-Integer Nonlinear Programming Models for Optimal Design of Multi-product Batch Plant, Fengqi You and Ignacio. E. Grossmann Results and Discussions The application of this model is illustrated first with a small exa

Source URL: minlp.org

1 MINLPLib - A Collection of Test Models for Mixed-Integer Nonlinear Programming Michael R. Bussieck, GAMS Development Corp, 1217 Potomac Street, NW, Washington, D.C, USA Email: Arne Stolbjerg

Source URL: www.gamsworld.org

• Mathematical optimization
• Computer algebra systems
• Computer file formats
• Mathematical modeling
• Numerical software
• AMPL
• BARON
• MPS
• Linear programming
• Nl
• Gams
• Modeling language

Predicting Structures in NLP Constrained Conditional Models and Integer Linear Programming Dan Goldwasser, Vivek Srikumar, Dan Roth

Source URL: l2r.cs.illinois.edu

British Informatics Olympiad Final 26–28 March, 2004 Sponsored by Lionhead Studios Large Numbers Most programming languages provide support for positive integer arithmetic, but they normally

Source URL: www.olympiad.org.uk